#logo {
    margin-right:5%;
}

#logo, #search {
	float:left;
}

#logo img {
	border:0;
}

#logout {
    float:right;
}

#main_content {
	clear:left;
}

#explorer .path-name .directory {
    color:green;
}

.file-contents {
    font-family: "courier new", courier;
}

#search-results td {
    vertical-align:top;
}

#search-results .q {
    font-weight:bold;
}